How to Install berkeley-abc software package in Debian 8 (Jessie)

How to Install berkeley-abc software package in Debian 8 (Jessie)

berkeley-abc software package provides ABC - A System for Sequential Synthesis and Verification, you can install in your Debian 8 (Jessie) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install berkeley-abc 

berkeley-abc is installed in your system.

Make ensure the berkeley-abc package were installed using the commands given below,

$ sudo dpkg-query -l | grep berkeley-abc *

You will get with berkeley-abc package name, version, architecture and description in a table

berkeley-abc package basic information:

Distro Debian 8 jessie
Section Electronics
Package berkeley-abc
Version 1.01+20140822hg4d547a5+dfsg-1+
Description ABC - A System for Sequential Synthesis and Verification
Sub Section Electronics


See Also, How to uninstall or remove berkeley-abc software package from Debian 8 (Jessie)?